Optimizing Robotic Team Performance with Probabilistic Model Checking
نویسندگان
چکیده
منابع مشابه
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of efficient collaboration protocols, a typical example of which is team formation. In this paper, we illustrate how probabilistic model checking, a technique for formal verification of probabilistic systems, can be applied t...
متن کاملYip Formal Synthesis of Control and Communication Strategies for Teams of Unmannes Vehicles
The goal of this project is to develop theoretical frameworks and computational tools for synthesis of provably correct control and communication strategies for teams of autonomous vehicles from specifications given in rich, human-like language. Central to our approach are finite abstractions, which allow for the use of (adapted) temporal logics as specification languages, tools from formal ver...
متن کاملProbabilistic team semantics
Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We a...
متن کاملOptimizing of an Integrated Production-Distribution System with Probabilistic Parameters in a Multi-Level Supply Chain Network Considering the Backorder
One of the main arguments in the supply chain is integrated production-distribution planning. Integrated production and distribution of products in a supply chain plays an important role in reducing the costs of the chain. In this paper, a mathematical model for the integrated production-distribution problem in a three-level supply chain, including manufacturing plants, distribution centers and...
متن کاملQuantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance
Quantitative verification is a technique for analysing quantitative aspects of a system’s design, such as timing, probabilistic behaviour or resource usage. It provides a means of automatically deriving formal guarantees on a wide range of system properties, such as timeliness, reliability or performance, for example, “the airbag will always deploy within 20 milliseconds after a crash” or “the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014